罗尔定理证明一类存在性问题

提出罗尔定理证明一类存在性问题的方法,采用拉格朗日中值定理或柯西中值定理来证明这类问题往往需要构造精巧的辅助函数,我们还指出了这种方法的一般性.     

Exact boundary observability for 1‐D quasilinear wave equations

By means of a direct and constructive method based on the theory of semi‐global C² solution, the local exact boundary observability and an implicit duality between the exact boundary controllability and the exact boundary observability are shown for 1‐D quasilinear wave equations with various boundary conditions. Copyright © 2006 John Wiley & Sons, Ltd.     

Windows CE.Net嵌入式操作系统本地化研究及实现

本文对嵌入式Windows CE.Net操作系统的主要体系结构进行剖析.研究设计出了维吾尔文本地化环境,利用资源编译器编译和反编译功能,构建了基于Windows CE.Net平台的维吾尔文图形用户界面资源库,实现Windows CE.Net的界面维文化和基于Windows CE.Net的应用程序的维文支持;开发了输入法程序,实现Windows CE.Net的维吾尔文字键盘输入和软键盘输入;通过编制维吾尔文字库,为Windows CE.Net平台下维吾尔文字的显示、打印提供了基础.     

一类二阶三点边值问题单调正解的存在性

利用范数形式的锥上不动点定理,研究了一类二阶微分方程三点边值问题单调正解的存在性．分别给出了齐次和非齐次边界条件下的三点边值问题单调正解存在的充分条件,确定了解曲线的凹凸性,并且给出了一个应用实例．     

在可交换四元数空间中的双曲方程的特征边值问题

讨论了一阶和二阶双曲复方程的特征边值问题.对其中两种线性方程,分别在不同的情况下获得通解和可解条件.而对于拟线性的二阶双曲复方程,证明了解的存在性和唯一性.     

一类两点边值问题的多重非负解

该文考虑两点边值问题[1/q(t)][q(t)y′(t)]′+p(t)f(y(t))= 0,λ_1 y(α)-λ_2y′(α)=0 and y(β)=B非负解的存在性, 其中p(t)可能在t=α或t=β附近具有奇异性, f(0)≥0, lim_(y→+∞)f(y)/y=+∞, 并且存在y>0, 使得f(y)<0.      

脉冲微分方程的上、下解及其在常微分方程上的应用

In this paper, we establish the existence of upper and lower solutions for a periodic boundary value problems (PBVP for short) of impulsive differential equations. which guarantees the existence of at least one solution for the problem. As an application, these results are applied to PBVP of ODE and some examples are given to illustrate our results.     

ON THE SINGULAR DIRECTIONS OF VALUE DISTRIBUTION OF HOLOMORPHIC CURVES IN P^n（C）

This article proves the existence of singular directions of value distribution theory for some transcendental holomorphic curves in the n-dimensional complex projective space Pn(C). An example is given to complement these results.     

Fourth-order problems with fully nonlinear boundary conditions

Differential inequality method, bounding function method and topological degree are applied to obtain the existence criterions of at least one solution for the general fourth-order differential equations under nonlinear boundary conditions, and many existing results are complemented.     

EFFICIENT SIXTH ORDER P-STABLE METHODS WITH MINIMAL LOCAL TRUNCATION ERROR FOR y"=f(x,y)

1. IntroductionWe consider a class of direct hybrid methods proposed in [11 for solving the second orderinitial value problemy" = f(t,y), y(0),y'(0) given (1.1)The basic method has the formandHere t. = nh and we define t.l.. = t. I aih, i = 1, 2 and n=0,1…